| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Graph Algorithms | Algorithmische Graphentheorie | Fach-/Modulprüfung | 6 | 402901 | ||
| Algorithmische Graphentheorie - Übung | Tutorium | 400270 | ||||
| Algorithmische Graphentheorie | Vorlesung | 400576 | Di 14:30-16:00 Online-Veranstaltung (×11) Mi 12:30-14:00 Online-Veranstaltung (×9) | |||
| Graph Decompositions and Algorithmic Applications | Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 405506 | ||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 402963 | ||
| Infinite Computations and Games | Übung | 399099 | Mo 08:30-10:00 Online-Veranstaltung (×13) | |||
| Infinite Computations and Games | Vorlesung | 399405 | Do 10:30-12:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 404093 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 404094 | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 8 | 403579 | ||
| Mathematische Logik II | Übung | 397307 | Mi 12:30-14:00 Online-Veranstaltung (×14) | |||
| Mathematische Logik II | Vorlesung | 397845 | Mo 10:30-12:00 AH I (2350|028) (×14) Mo 12:30-14:00 Online-Veranstaltung (×14) Mi 10:30-12:00 AH I (2350|028) (×14) Mi 10:30-12:00 Online-Veranstaltung (×14) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 404964 | ||
| Introduction to Model Checking | Übung | 397945 | Do 10:30-12:00 Online-Veranstaltung (×13) | |||
| Introduction to Model Checking | Vorlesung | 399346 | Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13) | |||
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | 403590 | ||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 402937 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 399044 | Fr 12:30-14:00 Online-Veranstaltung (×14) | |||
| Komplexitätstheorie | Vorlesung | 400101 | Mo 16:30-18:00 Online-Veranstaltung (×14) Di 16:30-18:00 Online-Veranstaltung (×14) | |||
| Stochastic Games | Stochastic Games | Fach-/Modulprüfung | 6 | 401923 |